#include <stdio.h>
#include <string.h>
int main() {
  int n;
  char s[101];
  scanf("%d", &n);
  for (int i = 0; i < n; i++) {
    scanf("%s", s);
    int len = strlen(s);
    if (len > 10) {
      printf("%c%d%c\n", s[0], len - 2, s[len - 1]);
    } else {
      printf("%s\n", s);
    }
  }
}